/* @author: Christian Baumhof */

function hideJavascriptError() {
	document.getElementById("jsError").style.display = "none";
}

